Design by Contract

Design by Contract , or Programming by Contract , is not a new concept in programming , many languages already having such implementations .

契约式设计（或“契约式编程”）并不是编程领域的新概念，许多语言中已经有类似的实现了。

He then goes into Design by Contract principles , and requirements management

接着谈到契约式设计（DesignbyContract）原则和需求管理

See the section Design by contract for details on this .

有关这一点的详细信息，请参阅按合同设计一节。

Research and Implementation of Components Development with Design by Contract Based on AOP

基于AOP在组件开发中支持契约的研究与实现

Design by contract is a very important widely applied method of building quality software .

基于合约的程序设计是提高软件质量的一种重要技术，且得到了非常广泛的发展和应用。

Design by contract pattern for digital city software architecture

数字城市软件体系结构的合约设计模式

Design by contract is an important approach to design for testability of software .

合约式设计是一种重要的软件易测试性设计方法。

Design by Contract Pattern for Multi-organization MIS Software Architecture

多组织管理信息系统软件体系结构的合约模式

Bill Venners : Could you give an overview of Design by Contract ?

你可以概括描述一下契约式设计吗？

Static verification and design by contract relay on theorems that are mostly based on deterministic approach .

静态验证和契约式设计理论大部分属于确定性理论的范畴。

Bertrand Meyer introduced the concept of design by contract to do exactly the above .

贝特朗迈耶介绍合同的设计概念来做到这点以上。

Significant patterns include design by contract , well-defined interfaces , composability , predictable behavior , and component testing .

重要模式包括契约式设计、定义良好的接口、可组合性、可预测的行为和组件测试。

The idea of the design by contract is introduced and applied into the analysis of the business component . Therefore , the trusted business component can be built .

介绍了契约式设计的思想，并在业务构件的分析中引入了契约式设计，从而构造出可信的业务构件。

Design by Contract ( DBC ) is a technique in object-oriented software design whose goal is to ensure software quality , reliability , and reusability .

契约式设计DBC是面向对象程序设计的一项技术，其目的在于提高软件的质量、可靠性与可复用性。

Find out what happens when you combine defensive programming , design by contract , and an easy-to-use generic validation framework called OVal .

尝试为应用程序整合进防御性编程、契约式设计和一种叫做OVal的易用的通用验证框架。

What 's more , this crosscutting concern starts to bleed into the notion of design by contract ( DBC ) .

而且，横切关注点开始渗入到契约式设计（DBC）的概念中。

Combining defensive programming techniques with aspect-oriented programming ( through design by contract ) is one way to keep the strong line of defense without all the repetitive coding .

把防御性编程技术和面向方面编程（通过契约式设计）联系起来是抵御所有重复性代码的一道坚强防线。

In the 1990s , Bertrand Meyer first introduced the concept of Design by Contract ( DbC ) into the technology of Object-Oriented Programming , and has constructed a programming named Eiffel to support it comprehensively .

20世纪90年代，BertrandMeyer首次将契约式设计（DesignbyContract，DbC）理念引入了面向对象编程技术中，并且在其构建的Eiffel语言中进行了全面的支持。